package entities.axiom;

import java.util.Set;

import entities.KBEntity;

public abstract class Axiom {

	public Axiom() {
	}
	
	public ConceptAxiom asConceptAxiom(){
		return (ConceptAxiom)this;
	}
	
	public RoleAxiom asRoleAxiom(){
		return (RoleAxiom)this;
	}
	
	public abstract Set<KBEntity> extractSig();
	public abstract Axiom getPrimeCopy();

}
